ApTypes/
envprops/
mapsto/
NF/
NFprops/
subjrnf/
TypeThms/
valid/