Do some sanity checks on a program after its been loaded

Test if a method name has been used twice
Test if a methods declarations have the same size of paramater lists
Accept integers as patterns and expressions.