Firm types

I'm stupid, of course it matters for field size and alignment if we want to have 64 bit pointers. Can we do something about this? Or should we just stick to 32 bit pointers?