Type: Factor `return` out of conditional statement.
Type test: Fix bad test.
Type test: DRY.
Type test: Add test for `ref ref int`.
Parse: Purge all semantic checks.
Type test: Process types explicitly.
Type, Type Test: Factor type validation functionality in seperate class.