Semantic Analysis

Practically finished, and manually tested, performing well. Does
not treat small and big differently from int, though.