JAR Functional

Also fixed a type with Cincinatti's record