Comment
Simply service typing: part1
fix
Update service typing: (non_)attached_kind
names are invariant
WIP GADT

wip

Conflicts:
	src/lib/common/eliom_parameter_base.ml
	src/lib/eliom_parameter.server.mli
	src/server/Makefile