Now checks types in class implements and extends
Added method type hint checking
Added catch type checks
Added support for multiple namespaces