records are association lists
records are association arrays
thick lines
subtyping
type inference
add example for p4 presentation
example type inference