initial experimentation with maybe and type vars
implement compilation of patternvar stmt

also include new factorial program to verify patterns
factorial is working

implemented assignment in a pattern
add factorial to test suite

also fix other test programs that use typevars