Added approximate type checking to the Allegra1 compiler.