Fix FTtypes.mj

- Add main method
- Shadowing of local variables is not allowed according to the Java
Standard:
https://docs.oracle.com/javase/specs/jls/se7/html/jls-6.html#jls-6.4 so
the test case was correctly failing.