Fixed test naming conventions
Merge pull request #22 from lucaswoj/identifier

Create VariableIdentifier and NamespaceIdentifier classes
Update .gitignore
Added basic type system and Boolean type
Code review feedback
Whitespace fix
Spelling fix
Added unit tests
Line length fixes
Fixed test naming conventions
Rejiggered namespaces
Added the notion of a supertype
Added a method for the verification pass on Value
Addressed Murphy's code review feedback
Addressed Murphy's code review feedback