Fill out some HLL type-mapping logic.

So things crossing MOP-in-NQP to Perl 6 boundary get the right types.
Implement bigint boolification.