this file is not needed
this file is a duplication of [PE-STLC-wft-base.agda]