This package implements frysk's low-level, or application binary interface, type model.