Final Type System with Javadoc comments