Kompile - type inferencer - syntactic cast is of the form:
syntax Exp :: K "::Exp"