Started typed lambda terms (just types for now)