Support basic data types

[Cypher1]

Support should be added for

• Booleans
• String with default and paramaterisable character types
• Lists
• Integers with size variants
• Floats with size variants

Type class style constraints should allow all of these to easily interoperate.

This will probably also require infix/mixfix operators+calls.

[Cypher1]

Added basic support for Integer (non-sized) literals in Primitive Operations (currently only used in PrimLoad) in #66. This should later be converted to support something more low level like binary or hex strings (which we can use to encode our high level values).