Implement a new type validator
As is, there are two functions running, that should be merged into one.
The idea is as follows: Given a partial map, we build a function that checks anything in the partial map to be the correct type and updates the map with mappings for every unbound expression.
This should also redo the fixed-point typing as this will allow to add the fractional bits to the type map.