semantic: Generalise size getting.

This makes structs with aliases var members work.
semantic: Retrieve type from typeid expressions.
vrt: Add stub typeinfo module.
vrt: Add type field to TypeInfo.