code quality (#253) - shadowing built-ins
code quality (#253) - type checker