Modules

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