Type lookup for chained methods implemented
Started implementation of type check