add p1 example programs
forbid polymorphic variables. still buggy
add examples