Keynote: Parsing RBS

Type Checking