added test for generic_lub
added new rule for functionTypeFormalParamters
merged
first setup where formal func parameters flows backwards
new tests
remade, the generic setup a bit