height finished
'occurs' working
added remaining base cases for a1.hs