Using Type in literal parsing
Revert "Using Type in literal parsing"

This reverts commit fd9511695f91a1e6841ff36c21e5e55b552ec94a.
Reimplemented reverse type inference
Fix tests