initial update to patLang.lem

make it type-correct, but have not yet added semantics for the new
application forms for arrays