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
Merge pull request #19 from lucaswoj/value

Create basic "Value" and "Type" architecture and sample Boolean type