Fix representation of explicit types

Suppose x is a number that is exactly representable in float32 and float64. Right now, kernel containing this as an explicitly typed constant with either type will compare equal (e.g for caching purposes) when they should not. Explicitly typed constants should be represented as TypeAnnotation(type, number).

• Documentation
• Code gen

x-ref: #186 (closed) !340 (merged)