Getting Started
Documentation
Define some useful type aliases for static type checks and better input understanding.