Add a new field to Module

This field is a function: Type -> Maybe Int.  The function maps a type
to its size in bytes.  This will be filled in by llvm-data-interop.  The
contract of this function is informal for now, but can be considered
best-effort.  `const Nothing` is a valid implementation.