Modules

simple scalar type checker