f2cap: wibbles
f2cap: start on PermitsT module
f2cap: add PermitX relation to check computations embedded in expr are permitted to evaluate