wip: nominal abstract syntax for system F