Support more atomic types as return types

[BigETI]

Right now for example if you specify bool as a return type for a native, it will set the least significant byte of a cell and the rest is unset.

@Alasnkz talked about that a long time ago.