WIP Mixed type/untyped const expressions.

Middle of writing tests