If untyped parsing will fail then results of typechecking will also be absent. However untyped parsing will require less time to catch up and recover. I don't think it makes sense to dive to a lower lever to a lexer as it will be more cumbersome and error prone i.e. when recognizing cases where `interface` keyword does not mean 'implementation of the interface' 

    type I = 
        interface
        end