Size, Addr and Alignment should all be wrapped into value types

[densh]

Currently they just alias corresponding integer data types. It would be much better to wrap them into value classes instead. This has some issues wrt the fact that value classes can not wrap other value classes but we should be able to solve them on our side.