support for reals
added handling of NoCompilerResult: no Alloy output with reals
layout resolver to look up token codes

no need to manually update the token map function
regressions for reals.cfr test case
updated regression for noAndNot.cfr
Merge remote-tracking branch 'origin/reals' into develop