Make the readable semantic components explicit for the defs rules to work around merging issues
Fix closures not being bound in correct SEnv when being passed.