Add coverage for front end, fix (tuple/function)Type comparison

@mtrberzi

Check that digital primitives can be instantiated in main, temporarily.

Fix for equals() and isSubtypeOf() in FunctionTypeValue and TupleTypeValue