Type inference WIP, simpler LiteralExpression node
Test for most simple inference case