Merlin interface: first version
merlin: type-enclosing
mkfile, typeof, cplt