Added TODO's

Instance elaboration incorrectly implemented

Forgot to collect variable names from method definitions

Record definition bug to verify