Fixed pad definition bug in fp_hole.
Added mustbe() type assertion infrastructure.