compiler runs
Bug fix for function typing, added test case for function typing, implemented type comparison for typed programs