Introduced untyped expr

Type checking is done during the compile phase.
Added Signature