Modules

Basic types defined as tests and literals (ease of use)