Fixed type checking + typecheck functions.

This closes #17
Also fixes some important type check problems.
Those might have been the root of other bugs.

Author: sigmasoldi3r