More sophisticated types and fully bigintish support

[kyscott18]

Types now contain a type field that helps with identification and bigintish is fully supported in operations