break apart inferer module
renamed files properly
cleaned up SimplyTypedLambdaCalculus and updated readme