Fixed bug caused by interaction of typechecking and DSL literal resolution