Done type checking

todo: unresolved prototype, break… statement, address computation